home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / tsql / doc / tsql.mail / 000089_@ICINECA.CINECA…NIV.CINECA.IT _Fri Apr 23 05:43:06 1993.msg < prev    next >
Internet Message Format  |  1996-01-31  |  3KB
  1. Received: from icineca.cineca.it by optima.CS.Arizona.EDU (5.65c/15) via SMTP
  2.     id AA13182; Fri, 23 Apr 1993 05:43:06 MST
  3. Received: from UDUNIV.CINECA.IT by ICINECA.CINECA.IT (IBM VM SMTP V2R2)
  4.    with BSMTP id 7308; Fri, 23 Apr 93 14:43:02 SET
  5. Message-Id: <1693@UDUNIV.CINECA.IT>
  6. Date:  Fri, 23 APR 93 14:43 N
  7. From: MONTANARI@UDUNIV.CINECA.IT
  8. Reply-To: MONTANARI@UDUNIV.CINECA.IT
  9. Comments: GMAIL V1.3, DECnet, 21 Mar 1989
  10. Subject: comments about the glossary
  11. To: TSQL@cs.arizona.edu
  12. X-Original-To:  tsql@cs.arizona.edu, MONTANARI
  13.  
  14. \documentstyle[11pt]{article}
  15. \newcommand{\entry}[1]{\subsubsection*{#1}}
  16. \begin{document}
  17.  
  18. \subsection{About ``Temporally-indeterminate event''}
  19.  
  20. We agree with Immanuel Kant who recommended to avoid the definition of new terms
  21. unless it is strictly necessary, that is, to carefully verify if existing terms
  22. can be used to denote the concepts we have in mind before introducing new terms.
  23. In our opinion, this is the case of the concept expressed by the term
  24. ``temporally-indeterminate event''. Even more, we believe that it is possible to
  25. provide a finer characterizations of the involved concept(s) by means of
  26. standard temporal logic machinary (cf., for instance, N. Rescher and A.
  27. Urquhart, Temporal Logic, Springer Verlag, 1971).
  28.  
  29. Temporal logics allow us to distinguish between chronologically definite and
  30. chronologically indefinite statements.
  31.  
  32. {\em Chronologically definite statements} are statements whose truth-value does
  33. not vary, because it does not depend on their assertion (utterance) time. An
  34. example of a chronologically definite statement is: ``Jack was killed on
  35. xx/xx/1990''.  As a general rule, chronologically definite statements include
  36. explicit temporal qualifications, referring to a given temporal domain
  37. conventionally chosen as the common reference system, that allow one to
  38. univocally determine the relevant temporal position(s), e.g. dates.
  39.  
  40. On the contrary, {\em chronologically indefinite statements} are statements
  41. whose truth-value may vary, because it depends on their assertion (utterance)
  42. time. An example of a chronologically indefinite statement is: ``Michelle was
  43. born yesterday''.  As a general rule, chronologically indefinite statements are
  44. temporally qualified with respect to the current time instant (in the example,
  45. ``today'') which is left implicit.
  46.  
  47. It is worth noting that according to a model-theoretic perspective assertion
  48. (utterance) times can be interpreted as the times at which statements
  49. (better, their logical counterparts, i.e. formulae) are evaluated. Furthermore,
  50. notice that chronological definiteness/indefiniteness are qualifications of the
  51. statements, rather than of the events they denote.
  52.  
  53. Our proposal is to replace the entry ``temporally-indeterminate event'' with
  54. ``chronologically indefinite statement'' and to add the entry ``chronologically
  55. definite statement''.
  56.  
  57. \noindent
  58. (to be continued)
  59.  
  60. \vskip0.5cm
  61. \noindent
  62. Comments are obviously welcome
  63.  
  64. \vskip0.5cm
  65. \noindent
  66. Angelo Montanari, Barbara Pernici
  67.  
  68. \begin{verbatim}
  69. Dipartimento di Matematica e Informatica
  70. Via Zanon, 6
  71. 33100 Udine (Italy)
  72. ph. +39 432 272 218/206
  73. fax +39 432 510755
  74. montanari@uduniv.cineca.it
  75. pernici@uduniv.cineca.it
  76. \end{verbatim}
  77.  
  78. \end{document}
  79.  
  80.